function intro() {
    $.get('/tool/intro.html',function(data){
        $('#main').append(data);
        $('#got-it').click(function(){
            $('#intro-style').remove();
            $('#intro').remove();
        });
        $('#close-button').click(function(){
            $('#intro-style').remove();
            $('#intro').remove();
        });
    });
}